Numéro 83 - décembre 2010

Numéro bibliothèque: ThèsedeDoctoratdel’universitéParisVI

The deployment of Self-Organizing Networks (SONs) raises a number of key design issues such as scalability, spontaneity, ease-of-management, adaptability, and dynamicallychanging topologies. In this context, routing is particularly challenging, and requires revisiting important components of the routing architecture/protocol suite, such as, establishing and managing an addressing scheme, provid...

Chabot, Derbez et Isoardi: points de vue sur la contradiction et la rationalité

Carlos Derbez a déjà participé par ses contributions au numéro 66 de décembre 2003, avec son ami André Richard. Après une informatique alternative, il nous propose ici une réflexion sur la nature de la rationalité à l'âge de l'informatique. Le début de ce texte est présenté dans ce numéro, et la fin dans le numéro 75 de décembre 2006. Vous pouvez aussi trouver le document à l'adresse : http://v...

NOTA DI LAVORO 83 . 2010 Improving Education as Key to Enhancing Adaptive Capacity in Developing Countries

Parallel Model Checking for Multiprocessor Architecture mardi 20 décembre 2011

In this thesis, we propose and study new algorithms and data structures for model checking nite-state, concurrent systems. We focus on techniques that target shared memory, multi-cores architectures, that are a current trend in computer architectures. In this context, we present new algorithms and data structures for exhaustive parallel model checking that are as e cient as possible, but also f...

Abréviations, acronymes et sigles utilisés dans ce numéro

This is an index of the main acronyms and abreviations used in this issue concerning standardsof character coding in general and more precisely Unicode. Nous présentons ici une liste des sigles, abréviations, acronymes, etc. parmi les plus usités dans les divers articles de ce numéro spécial qui souvent n'y sont pas définis ni explicités. Chaque sigle (abréviation, etc.) est d'abord suivi, entr...